Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
121	Making Set-Constraint Program Analyses Scale Manuel Fahndrich Alexander Aiken EECS Department Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-08-29 16:42:57 Computer programming Constraint satisfaction problem Constraint Standard ML Computing Constraint programming Mathematical optimization Software engineering
122	Continuations and other Functional Patterns Christopher League Long Island University Northeast Scala Symposium Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Functional languages Java platform Cross-platform software Scala Procedural programming languages Continuation Java Clojure Standard ML Computing Software engineering Computer programming
123	Good Advice for Type-directed Programming Aspect-oriented Programming and Extensible Generic Functions Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Computer programming Data types Functional programming Aspect-oriented programming Standard ML ATS Anonymous function Polymorphism Type system Software engineering Type theory Computing
124	Implementing Typed Intermediate Languages Zhong Shao Christopher League Stefan Monnier Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Procedural programming languages Functional programming Type theory Functional languages International Conference on Functional Programming Data types Standard ML of New Jersey Torneos y Competencias ML Software engineering Computing Programming language theory
125	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Aspect-oriented software development Aspect-oriented programming Data types Functional languages Pointcut Generalized algebraic data type Standard ML Type system Software engineering Software development Computing
126	Transparent Modules with Fully Syntactic Signatures Zhong Shao Dept. of Computer Science Yale University New Haven, CT[removed]removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2000-03-14 14:04:54 Functors Standard ML Sheaf Natural transformation Limit Combinatorial species Map Grothendieck topology Yoneda lemma Category theory Abstract algebra Mathematics
127	Types For Modules Claudio V. Russo Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-04-02 04:22:02 Procedural programming languages Functional languages Type theory Lambda calculus Quantification Standard ML Type system Programming language ML Programming language theory Software engineering Computing
128	Transparent Modules with Fully Syntactic Signatures Zhong Shao Dept. of Computer Science Yale University New Haven, CT[removed]removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2000-03-14 14:04:42 Mathematics Standard ML Natural transformation Sheaf Limit Grothendieck topology Module Exact functor Yoneda lemma Category theory Abstract algebra Functors
129	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory